Binary logic - PDFSEARCH.IO - Document Search Engine

Binary logic
Results: 377

#	Item
121	Enhancing Davis Putnam with Extended Binary Clause Reasoning Fahiem Bacchus Dept. Of Computer Science University Of Toronto Toronto, Ontario Canada, M5S 1A4 Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2002-04-08 12:32:58 Mathematical logic Constraint programming Formal methods Logic in computer science Boolean algebra Boolean satisfiability problem Unit propagation Resolution Davis–Putnam algorithm Theoretical computer science Mathematics Automated theorem proving
122	Towards Automatic Discovery of Deviations in Binary Implementations with Applications to Error Detection and Fingerprint Generation David Brumley, Juan Caballero, Zhenkai Liang, James Newsome, and Dawn Song Carnegie Mell Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2009-08-03 23:33:32 Software testing Predicate transformer semantics Program logic Fuzz testing X Window System Function KeY Errors and residuals in statistics Network Time Protocol Statistics Software Mathematics
123	Replayer: Automatic Protocol Replay by Binary Analysis James Newsome, David Brumley, Jason Franklin, Dawn Song∗ Carnegie Mellon University Pittsburgh, PA, USA {jnewsome, Add to Reading List Source URL: bitblaze.cs.berkeley.edu Language: English - Date: 2013-03-28 20:19:28 Predicate transformer semantics Program logic KeY IP Function Algorithm NP Symbolic execution Communications protocol Theoretical computer science Mathematics Applied mathematics
124	Towards Automatic Discovery of Deviations in Binary Implementations with Applications to Error Detection and Fingerprint Generation David Brumley, Juan Caballero, Zhenkai Liang, James Newsome, and Dawn Song Carnegie Mell Add to Reading List Source URL: bitblaze.cs.berkeley.edu Language: English - Date: 2013-03-28 20:19:28 Software testing Predicate transformer semantics Program logic Fuzz testing X Window System Function KeY Errors and residuals in statistics Network Time Protocol Statistics Software Mathematics
125	Replayer: Automatic Protocol Replay by Binary Analysis James Newsome, David Brumley, Jason Franklin, Dawn Song∗ Carnegie Mellon University Pittsburgh, PA, USA {jnewsome, Add to Reading List Source URL: bitblaze.cs.berkeley.edu Language: English - Date: 2013-03-28 20:19:28 Predicate transformer semantics Program logic KeY IP Function Algorithm NP Symbolic execution Communications protocol Theoretical computer science Mathematics Applied mathematics
126	Modeling Web Services by Iterative Reformulation of Functional and Non-Functional Requirements Jyotishman Pathak, Samik Basu, and Vasant Honavar Department of Computer Science Iowa State University Ames, IA, U Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2006-10-01 15:34:09 Functions and mappings Deduction Entailment Logical consequence Metalogic Function Logic Mathematics Binary operations
127	Termination of LCTRSs∗ Cynthia Kop1 1 Department of Computer Science, University of Innsbruck Technikerstraße 21a, 6020 Innsbruck, Austria Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2013-08-26 10:13:14 Mathematical logic Model theory Symbol Function Rewriting Interpretation Binary relation Mathematics Formal languages Logic
128	Replayer: Automatic Protocol Replay by Binary Analysis James Newsome, David Brumley, Jason Franklin, Dawn Song∗ Carnegie Mellon University Pittsburgh, PA, USA {jnewsome, Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Predicate transformer semantics Program logic KeY IP NP Symbolic execution PP Algorithm Function Theoretical computer science Mathematics Applied mathematics
129	The Lambda Calculus A Brief Introduction Georg P. Loczewski A Add to Reading List Source URL: www.aplusplus.net Language: English - Date: 2004-12-20 07:35:21 Applied mathematics Combinatory logic Fixed-point combinator Expression Hindley–Milner Free variables and bound variables Lambda Binary lambda calculus Lambda-mu calculus Lambda calculus Theoretical computer science Mathematics
130	Illusions of consistency in quantified assertions 1 Niklas Kunze1 ([removed]) Sangeet Khemlani2 ([removed]) Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2012-09-06 02:48:45 Binary operations Propositional calculus Thought Mental model Assertion Logical disjunction Quantification Illusion If and only if Logic Science Mathematics

UPDATE